9月初，arXiv上一篇论文直接在学界投下一个重磅炸弹，GPT-5这个AI模型，竟以定理贡献者的身份，实实在在写进了数学论文的正文里。

数学 首例 博士生 al 推导定理 2025-09-20 00:32  7